альфа-преобразование

альфа-преобразование
(в лямбда-исчислении - переименование формального параметра в абстрактную лямбда-структуру) alpha conversion

Русско-английский словарь по вычислительной технике и программированию . 2013.

Игры ⚽ Поможем написать курсовую

Look at other dictionaries:

  • Список звёзд и планетных систем в фантастике — Содержание 1 Ярчайшие звёзды 2 Ближайшие звёзды …   Википедия

  • ЖРО — Радиоактивные отходы (РАО)  отходы, содержащие радиоактивные химические элементы и не имеющие практической ценности. Часто это продукты ядерных процессов, таких как ядерное деление. Большую часть РАО составляют так называемые «малоактивные… …   Википедия

  • Жидкие радиоактивные отходы — Радиоактивные отходы (РАО)  отходы, содержащие радиоактивные химические элементы и не имеющие практической ценности. Часто это продукты ядерных процессов, таких как ядерное деление. Большую часть РАО составляют так называемые «малоактивные… …   Википедия

  • Медицина — I Медицина Медицина система научных знаний и практической деятельности, целями которой являются укрепление и сохранение здоровья, продление жизни людей, предупреждение и лечение болезней человека. Для выполнения этих задач М. изучает строение и… …   Медицинская энциклопедия

  • Солнечная система — в представлении художника. Масштабы расстояний от Солнца не соблюдены. Общие характеристики Возраст …   Википедия

  • Вымпел-Коммуникации — Координаты: 55°48′10.13″ с. ш. 37°33′14.99″ в. д. / 55.802814° с. ш. 37.554164° в. д.  …   Википедия

  • Дирака уравнение — Уравнение Дирака квантовое уравнение движения электрона, удовлетворяющее требованиям теории относительности, применимое также для описание других точечных фермионов со спином 1/2; установлено П. Дираком в 1928. Содержание 1 Вид уравнения 2… …   Википедия

  • BMP — Для термина «Bitmap» см. другие значения. Windows Bitmap Расширение .bmp, .dib MIME image/x ms bmp, image/x bmp Разработан Microsoft Тип формата растровая графика …   Википедия

  • Ա — Армянский алфавит Ա Բ Գ Դ Ե Զ Է Ը …   Википедия

  • Айб — У этого термина существуют и другие значения, см. Айб (значения). Ա ա Армянский алфавит Ա Aйб Բ Бен …   Википедия

  • Девелопер — (Developer) Девелопер это предприниматель, занимающийся созданием новых объектов недвижимости или разрабатывающий стратегии развития Понятие девелопера, виды девелоперов и их деятельность, этапы деятельности крупных девелоперов при разработке… …   Энциклопедия инвестора

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”